Wolfgang Ahrendt: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Efficacy, acceptability and tolerability of the combined contraceptive ring, NuvaRing, compared with an oral contraceptive containing 30 μg of ethinyl estradiol and 3 mg of drospirenone

Hans-Joachim Ahrendt, Israel Nisand, Carlo Bastianelli, Maria Angeles Gómez, Kristina Gemzell-Danielsson, Wolfgang Urdl, Birgit Karskov, Luc Oeyen, Johannes Bitzer, Geert Page, Ian Milsom

Journal:

Year:

2006

Language:

english

File:

PDF, 270 KB

english, 2006

2

Preface

Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 70 KB

english, 2005

3

Verifying data- and control-oriented properties combining static and runtime verification: theory and tools

Ahrendt, Wolfgang, Chimento, Jesús Mauricio, Pace, Gordon J., Schneider, Gerardo

Journal:

Formal Methods in System Design

Year:

2017

Language:

english

File:

PDF, 1.56 MB

english, 2017

4

Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic

de Gouw, Stijn, de Boer, Frank, Ahrendt, Wolfgang, Bubel, Richard

Journal:

Software & Systems Modeling

Year:

2016

Language:

english

File:

PDF, 1.34 MB

english, 2016

5

The KeY tool

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert, Richard Bubel, Martin Giese, Reiner Hähnle, Wolfram Menzel, Wojciech Mostowski, Andreas Roth, Steffen Schlager, Peter H. Schmitt

Journal:

Software & Systems Modeling

Year:

2005

Language:

english

File:

PDF, 2.04 MB

english, 2005

6

[Lecture Notes in Computer Science] Deductive Software Verification – The KeY Book Volume 10001 ||

Ahrendt, Wolfgang, Beckert, Bernhard, Bubel, Richard, Hähnle, Reiner, Schmitt, Peter H., Ulbrich, Mattias

Year:

2016

Language:

english

File:

PDF, 8.26 MB

english, 2016

7

A system for compositional verification of asynchronous objects

Ahrendt, Wolfgang, Dylla, Maximilian

Journal:

Science of Computer Programming

Year:

2012

Language:

english

File:

PDF, 422 KB

english, 2012

8

Practical Aspects of Automated Deduction for Program Verification

Wolfgang Ahrendt, Bernhard Beckert, Martin Giese, Philipp Rümmer

Journal:

KI - Künstliche Intelligenz

Year:

2010

Language:

english

File:

PDF, 307 KB

english, 2010

9

[IEEE 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara, Romania (2013.09.23-2013.09.26)] 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving

Paganelli, Gabriele, Ahrendt, Wolfgang

Year:

2013

Language:

english

File:

PDF, 354 KB

english, 2013

10

[ACM Press the 6th Conference - Gothenburg, Sweden (2018.06.02-2018.06.02)] Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18 - Testing meets static and runtime verification

Chimento, Jesús Mauricio, Ahrendt, Wolfgang, Schneider, Gerardo

Year:

2018

Language:

english

File:

PDF, 904 KB

english, 2018

11

Correction to: A survey of challenges for runtime verification from advanced application domains (beyond software)

Sánchez, César, Schneider, Gerardo, Ahrendt, Wolfgang, Bartocci, Ezio, Bianculli, Domenico, Colombo, Christian, Falcone, Yliès, Francalanza, Adrian, Krstić, Srdan, Lourenço, João M., Nickovic, Dejan,

Journal:

Formal Methods in System Design

Year:

2019

File:

PDF, 141 KB

2019

12

[ACM Press the 10th International Workshop - Copenhagen, Denmark (2012.10.24-2012.10.26)] Proceedings of the 10th International Workshop on Java Technologies for Real-time and Embedded Systems - JTRES '12 - Real-time Java API specifications for high coverage test generation

Ahrendt, Wolfgang, Mostowski, Wojciech, Paganelli, Gabriele

Year:

2012

Language:

english

File:

PDF, 795 KB

english, 2012

13

A survey of challenges for runtime verification from advanced application domains (beyond software)

Sánchez, César, Schneider, Gerardo, Ahrendt, Wolfgang, Bartocci, Ezio, Bianculli, Domenico, Colombo, Christian, Falcone, Yliés, Francalanza, Adrian, Krstić, Srđan, Lourenço, Joa̋o M., Nickovic, Dejan,

Journal:

Formal Methods in System Design

Year:

2019

Language:

english

File:

PDF, 653 KB

english, 2019

14

[Lecture Notes in Computer Science] Tests and Proofs Volume 12165 (14th International Conference, TAP 2020, Held as Part of STAF 2020, Bergen, Norway, June 22â23, 2020, Proceedings) ||

Ahrendt, Wolfgang, Wehrheim, Heike

Year:

2020

File:

PDF, 10.32 MB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски